Seol mar théacs é seo: Theory and practice of model transformations