fix highlighting for deriving
add spellchecking cluster
highlight toplevel identifiers
better highlighting for quantifiers
recognize single quotes in backtick notation