[standard-ml/en-en] Some format fixing, variable renaming, some more about exceptions
Merge pull request #453 from sshine/master

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