intersection
An array of A_Types, where the entries correspond to ordinals of other Types, and hold the intersection of that type and the current type.
An array of A_Types, where the entries correspond to ordinals of other Types, and hold the intersection of that type and the current type.