Reverted to the old GP2 grammar as per the formal definition.
Added Colin's graph isomorphism checker to the codebase.