Updating: tidying up some code.
Updating: very minorly improving INT2PROGINATS.