@hackage vector-static0.3.0

Statically checked sizes on Data.Vector

Very unstable! Many interfaces are still incomplete or even empty. Nat and Fin will be moving to a separate package eventually.