operator: Rework executability test for transformation operators

* Add multiple executables from same operator
* Add (sort of) generics
* Rework menu invocation
* Remove ad-hoc function in model rel to provide a transformation
operator
* Fix keisli and tests