Adding functions to Prelude.Vect

Work in progress (more is coming).

To make the package interface more similar to Prelude.List.

Please note that I don't really know what I am doing :)
It's a style thing. The system can infer the `Z`, so why bother writing it? Also, it might be slightly more robust if the index type changes. Either way is fine here.