Updating: improving a bug-fix on pattern matching
Updating: adding INT2PROGINATS/CHAP_ABSVTYPE