(+) Extended & Fixed Grammar

(+) Extend grammar to updates
To account for the two different roles = can take (assignment vs
comparison) it is now its own lexical class.
(/=) removed left recursion in predicate productions
(/=) fixed fromList: tables are separated by comma