Improve highlighting of provisional definitions

Now, the lemma name is given metavariable highlighting and the ?= is
highlighted as a definining equality (just like normal =).

Fixes #281.