same as https://github.com/githwxi/ATS-Postiats/pull/47/files

same as https://github.com/githwxi/ATS-Postiats/pull/47/files
but removed some comments that were not necessary.