A simple parser
Fixing a simple Eq bug in theory
Adding some infrastructure
Adding parsec as a dep
More parsing