Added some simple lifting functionality for Vectors.
Added some simple lifting functionality for Vectors.

Properties of the underlying type can in some limited cases be
lifted to properties on vectors using these functions.

crypto-agda/agda-nplib