fixtypes refactor: now there are two version (fixtypes and fixtypes') which either require you to equate the left hand sides or the right hand sides of the equations, one them is usually easy.
	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
	modified:   WellTypedTermsNBEModel.agda