Started on adding ast processing to grammar. played with shortcut syntax for union type. more thoughts on operator lexeme (and overloading)