WIP: have more static typing
Use length-indexed lists to do static sizing right
Merge branch 'sizedTypesInternal'
Update for new Vect definition in LinAlg