Updating: fixing a pattern matching bug; improving INT2PROGINATS