Further work on the parser, specifically the rules. Zero is now proved to exist again.