Updated highlighting

This allows dashed versions of standard functions and all the new functions in the prelude.