Second pass on rules & expressions: all shift/reduce conflicts fixed,
all known bugs fixed.  Should now be able to plug expressions &
statements into a rule definition and have them parsed.  Still to do:
execute statements, evaluate expressions.  Also tweaked toString for all
domain classes to produce more readble output.