Original: Type, any proposition or set in the intuitionistic type theory
Simplified: The yellowchair performance experience, a theater company often abbreviated to TYPE