Add scanl for Vect.
Uncomment truncate.

Also modify some types to help with unification.