Simple Emacs major mode for the OWL functional syntax