added a parser and fixed an error in the lexer. Parser is still garbage and lexer won't work either because the parser is garbage -> it needs to actually interface with the Coq