Measure sort - Transformations

Fix for 

#132 : typechecking the body of defined measures

#122 : make transformations in the following order

- RecTransformation (make inner recursive functions polymorphic)
- AnfTransformation 
- ScopeTransformation (in data (like (x, y)) open fields from left to right (first x then y) )

If Rec happens after ANF we can get `argExpr` error