Updating: improving INT2PROGINATS
Updating: tidying up some code