(compiler: pl0): add if grammar.
(compiler: pl0): rewrite parser.