Traits

Extract the underlying Type from various AST types.