Add semantic highlighting info for metavariables

This will enable the appropriate fonts to be used in IDEs such as idris-mode

Fixes #949.