Added ´Vector'.
Added comments.
Added derivation of Zero.
Added 'One' trait on several types.