Cache Operators whose types are the same

[jwp]

Given a type, cache the operators whose operands are the same.

This is needed to keep things like comparisons used in sorts fast.