Fixed a subtle bug that was leading to an infinite loop (relating to grouping of else clause). Fixed oversight in simple_imperative_grammar (notation changed between when it was entered and now).