Flesh out rest of low-level grammar and write tests for all. As expected, with current inference bug, tests fail because p(word|context) == p(word).