a couple more things for holSyntaxSyntax.sml