@hackage vector-static0.3.0.1

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