Add preliminary (untested) grammar productions.

At least it compiles with SableCC, so it's LALR :)