major speedup in graphparser
updates to parser with errors perhaps and new hiur-lemmas.html