Add a parser

Playing in ghciindicates that it works, but it hasn't been exhaustively tested.
Needs a top-level with contexts and terms, and maybe multiple proofs per file
Current syntax is mixed blackboard notation andn haskell