[standard-ml/en-en] Some format fixing, variable renaming, some more about exceptions