Introspectable Types

• subtypes:
• Ernst::Description->meta->subtypes
• Ernst::Description::Number->meta->subtypes
• isa:
• Ernst::Description::Integer->meta->type_isa('Ernst::Description::Number')
• type:
• Ernst::Description::String->meta->type => 'String'
• types:
• Ernst::Description::String->meta->types => ('Value', '')