equational proofs + tidying
	modified:   KleisliAdj2.agda
	modified:   KleisliFunctors2.agda
	modified:   RKleisliAdj2.agda