Recursive Type Definitions and Boxing

Manage recursive data structures by understanding pointer indirection and type sizing.