Updating: moving some projects out to ATS-Postiats-contrib
Updating: minorly improving
Merge branch 'master' of github.com:githwxi/ATS-Postiats
Updating: fixing bug-2014-05-17
Updating: merging
Updating: adding a bug report
Updating: improving jsonizing at level-2
Updating: minorly improving ATSLIB/prelude