Coding standards for SML

For SML ISAC's coding standards follow those of Isabelle as found at The Isabelle/Isar Implementation on p.1 -- 10.

Additional standards serve grep -R "SEE BELOW" *:
 * " thmid: "
 * TODO
 * TODO