kleisli: Model rel-based transformation engine complete

* Rough edges to be smoothed
* Support for simple cases only