Trait Objects and Upcasting

Understand the limitations of trait hierarchy upcasting in the current type system.