Alias hl for highlight

Lots of people are referring to "hl" as shorthand for "highlight" already, so maybe we should let it be an alias.