Add explanation for semicolon sending in SML
Say Standard ML rather than SML
Change phrasing for some explanations