transformation: First integration steps

* Devise a plan to integrate with the rest of MMTF (as conversion
operator + kleisli extendability)
* Add transformation constraint against which to evaluate model rel
types