Add full support for canonical typed lists
Added typed list general schemata, and the particular cases for:
- Lists of Z3s in Z4s and Z50s
- Lists of Z6s in Z60s and Z31s
- Lists of Z11s in Z12s
- Lists of Z31s in Z32s
- Lists of Z14s, Z17s and Z20s in Z8s
Added extensive test cases for these cases, including canonical lists
(arrays) and typed lists with zero to multiple elements.
Bug: T292788
Change-Id: I5ffd25902dfcec1bb9dad26b302dc6571805c6ec