Fixed incorrect highlighting of 'type'

The current code incorrectly highlights ‘type’ in

    Hol_datatype `sample = Foo | Bar`;

which is erroneous.
Merge pull request #1 from j-baker/master

Fixed incorrect highlighting of 'type'