rel. Kleisli is the initial rel. adjunction
	modified:   Everything.agda
	new file:   InitRAdj2.agda
	new file:   RAdj2RMon2.agda