Renamed Mon to Remon (reifiable monad)
Removed the TypeUniverse modules
They have moved to https://github.com/emilaxelsson/open-typerep