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