cleaned up RKleisli and CatofRAdj
	modified:   CatofRAdj.agda
	modified:   RKleisli.agda
	modified:   RKleisli/Adjunction.agda
	modified:   RKleisli/Functors.agda