Extensions to sml-mode for Standard ML