added SML to supported languages in literate source