WIP getting hol_verification to work with new holSyntax
finish updating hol_verification to work with holSyntax
Merge branch 'holSyntax'