grammar now successfully parses the example formation. time to implement AST transformations