Fixed incorrect highlighting of 'type'

The current code incorrectly highlights ‘type’ in

    Hol_datatype `sample = Foo | Bar`;

which is erroneous.