remove special case constants from holSyntax

Bool, Ind, Fun, Select, Equal, now all parse abbreviations.
this breaks holSemantics.