Removing yet another place in the matcher where residue types are stored
in a data structure by their address and then accessed by iterating
across that data structure; such code leads to instability since it
relies on residue types being allocated at the same location in memory
in each execution.
Hoping against hope that this finally fixes the matcher instability
once and for all.