Split off MFunctor into 'mmorph' package
Loosened cabal restriction and removed tested compilers field