Traits Classes for Metadata Inspection

Learners will be able to build traits structures that query properties of types at compile-time.