Shane authored Jun 07, 2018 and Christian Hergert committed Aug 01, 2018

 * Qualified variables are highlighted as variables, not as types
 * Operators can be qualified
 * Unicode is now allowed in types, variables and operators
 * Operators prefixed with : will be highlighted as constructors
 * Support DataKinds (constructors prefixed with ')
 * Support for arrow notation (proc, -<)
 * OverloadedLabels-style #labels are highlighted