CHECKPOINT: Starting parser integration

This is just a checkpoint. Nothing to see here. Move along...
Integrated new parser

All the old tests pass, and now we have substantially better type
checking.
Version bump

With the new type-checking, I think it calls for a proper version.