Parser implementation complete (except for connotation)

[MiguelRoberts]

Updated parser.mli documentation Implemented parser.ml

[Duncan-McD]

oops missed these type issues first time reviewing (only realized when i tried to run with make)

otherwise awesome job looks great