Fixed incorrect syntax highlighting

The current code incorrectly highlights ‘type’ in

    Hol_datatype `sample = Foo | Bar`;

which seems erroneous.