Create length-indexed lists to do static sizing right
Newtypes and other small changes
More encapsulation for SNat and Vect