The rules that reduce combinations of reference types formed through aliases or deduction to one reference type.