fixtypes refactor: ~2x speedup
	modified:   Functors.agda
	modified:   Library.agda
	modified:   Monads/CatofAdj.agda
	modified:   Monads/EM.agda
	modified:   Naturals.agda
	modified:   RMonads/CatofRAdj.agda
	modified:   RMonads/REM.agda