Updating: tidying-up code; improving INT2PROGINATS