various cleanups, formatting, abstracting stuff
	modified:   RMonads/CatofRAdj.agda
	modified:   RMonads/CatofRAdj/InitRAdj.agda
	modified:   RMonads/CatofRAdj/TermRAdj.agda
	modified:   RMonads/CatofRAdj/TermRAdjHom.agda
	modified:   RMonads/CatofRAdj/TermRAdjObj.agda
	modified:   RMonads/RKleisli.agda
	modified:   RMonads/RKleisli/Adjunction.agda
	modified:   RMonads/RKleisli/Functors.agda