Updating: misc.
Updating: working more on INT2PROGINATS.
Updating: minorly improving prelude/string
Updating: improving prelude/pointer.
Updating: minorly improving prelude/pointer.
Merge branch 'master' of github.com:githwxi/ATS-Postiats
Changed the units of time for the timer.