Emacs major mode for editing Standard ML
