kleisli: Add kleisli version of ModelRelTypeTransformation

* Make the transformation see the extended model, that's it
* Fix some bugs found along the way due to emf types not matching
precisely
* Make KleisliBinaryModelRel extend KleisliModelRel instead of
BinaryModelRel (less things to copy to simulate multiple inheritance)