Mayor transormation improvements

+ Added the posibility to bind elements from matched ASTs
+ Added transformations for term evaluation and K/S combinators