Update the keywords for highlighting. (#321)
Update the keywords for highlighting. (#321)

* More tweaks to highlighting.
* Add the symbol for equality types.
JonPRL/sml-red-jonprl,RedPRL/sml-redprl,ak3n/redprl,ak3n/sml-red-jonprl