class TypeCondition
type conditions can be declared on fragments
TypeCondition(type: Type)
val type: Type