Add function which changes type of monad ContVecT uses
Make fusion rule more generic
Move Vector type class into Cont module

It's required for proper implementation of vector indexing.
Add comment about deforestation
Missing files
Implement presumably efficient indexing
Add instances ufor 6- and 7-tuples