SML mode for proglang