Add parser tests

Here are some parser tests using pretty printed string equality, not alpha equivalence.
This addresses #16 but there are many more tests conceivable.