Updating; introducing static dynamic constant declarations.
Updating: working in INT2PROGINTATS.
Updating: improving INT2PROGINATS.
Updating: compiling higher-order functions.
Updating: improving INT2PROGINATS
Updating: minorly improving INT2PROGINTATS.
Updating: minor overall improvment.
Merge branch 'master' of github.com:githwxi/ATS-Postiats
Merge branch 'master' of github.com:wdblair/ATS-Postiats