cleaned up RKleisli is initial (a bit more) and REM is final proof.
	modified:   InitRAdj.agda
	modified:   TermRAdj.agda
	modified:   TermRAdjHom.agda
	modified:   TermRAdjObj.agda
	modified:   ../RKleisli/Adjunction.agda
	modified:   ../RKleisli/Functors.agda