Model transformations

• THIR seems to be a good fit for model level transformations.
• The idea would be to perform some sort of rewriting of the THIR tree to produce a new tree