Add Prelude.Vect.transpose

Test adjusted due to name clash.
Add a decision procedure for Data.Vect.Elem
Merge pull request #1270 from Melvar/vect-things

Add transpose and proofy isElem