Put a type signature on fold in Vector
Add an indexing operator for one-dimensional pull vectors (!!)
Change the order of parameters for 'indexed'
Generalize the type of fold in Vector
Add types Vector and Vector1 as type synonyms to Pull and Pull1.
They are provided for backwards compatibility and carries
deprecated pragmas