added/ modified some sml elisp stuff