Expand description

This pass transforms derefs of Box into a deref of the pointer inside Box.

Box is not actually a pointer so it is incorrect to dereference it directly.



Constructs the projection needed to access a Box’s pointer
Constructs the types used when accessing a Box’s pointer