minimized language extensions
simplifying the module stuff
less specific module types, current irritating template haskell weirdness