created Monads and RMonads folders
	modified:   ../Everything.agda
	modified:   ../InitAdj.agda
	modified:   ../InitRAdj.agda
	renamed:    ../EM.agda -> ../Monads/EM.agda
	renamed:    ../EM/Adjunction.agda -> ../Monads/EM/Adjunction.agda
	renamed:    ../EM/Functors.agda -> ../Monads/EM/Functors.agda
	renamed:    ../Kleisli.agda -> ../Monads/Kleisli.agda
	renamed:    ../Kleisli/Adjunction.agda -> ../Monads/Kleisli/Adjunction.agda
	renamed:    ../Kleisli/Functors.agda -> ../Monads/Kleisli/Functors.agda
	renamed:    ../MonadMorphs.agda -> ../Monads/MonadMorphs.agda
	renamed:    ../REM.agda -> REM.agda
	renamed:    ../REM/Adjunction.agda -> REM/Adjunction.agda
	renamed:    ../REM/Functors.agda -> REM/Functors.agda
	renamed:    ../RKleisli.agda -> RKleisli.agda
	renamed:    ../RKleisli/Adjunction.agda -> RKleisli/Adjunction.agda
	renamed:    ../RKleisli/Functors.agda -> RKleisli/Functors.agda
	renamed:    ../RMonadMorphs.agda -> RMonadMorphs.agda
	renamed:    ../Restriction.agda -> Restriction.agda
	renamed:    ../SpecialCase.agda -> SpecialCase.agda
	modified:   ../TermAdjHom.agda
	modified:   ../TermAdjObj.agda
	modified:   ../TermAdjUniq.agda
	modified:   ../TermRAdj.agda
	modified:   ../TermRAdjHom.agda
	modified:   ../TermRAdjObj.agda
	modified:   ../WellScopedTermsModel.agda
	modified:   ../WellTypedTermsModel.agda