Major mode for editing (Standard) ML