[m-rev.] for post-commit review: speed up the term parser

[Peter Wang]

On Wed, 18 Feb 2015 12:22:58 +1100 (EST), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> This diff speeds up the compiler by about 6%. I haven't seen
> such a big speedup in a long time. The raw timing data follows.

That looks fine.

Peter