Start mosml -P full from shortcuts
sml-indent-level set to 2?