Add useful property to Prelude.Vect: xs ++ [] = xs
Merge pull request #1199 from david-christiansen/master

Add useful property to Prelude.Vect: xs ++ [] = xs