Updated highlighting

This allows dashed versions of standard functions and the prelude.