Initial checking
Update bounds on cabal Database bindings
Add comments to parser
Cleanup