open holSyntax after holSemantics in hol_verification

to help ensure the right constants get picked by the parser, since a lot
of them have the same name in the two theories..