Development of a CafeOBJ mode for Emacs