fix(emacs/lean-syntax): highlight axioms

fix #382