Better highlighting of statics

[bbarker]

Ideally things like

{n1,n2,t:nat}

and other proof related terms will show up in a different color.

This could partly be done by extending the lexer, possibly, but should really be done with the aid of a parser. Some exploration of the lexer option may be worthwhile for now.