more work on grapher and equivalence
adding "manual" parser and unit tests