More C++ Idioms/Recursive Type Composition

= Recursive Type Composition =