Fixing parser, JSON emitter, adding algebra merge node, separating type
system of parser from remaining calculus, improving variable handling,
and adding test framework.