add some more things to holSyntaxSyntax.sml