extended emacs mode for maude