PartialSpec is a binding from type parameters to their representation (Boxed/Miniboxed) INVARIANT: Regardless of whether the PartialSpec refers to the stem or a variant class, the parent's type parameters are used.
This class should only appear in the tree during the minibox
phase
and should be cleaned up afterwards, during the minibox-cleanup
phase.