Better syntax

Significantly improves idris-mode highlighting of character literals, and fixes some long-standing bugs in keyword highlighting.