For LOCK_TYPE and EVENT_TYPE, it is specified that all components have default initialization. This means that one can use the type constructor. This is not specified for TEAM_TYPE. The TS ought to say explicitly that they all do have default initialization, or that there is at least one that does not, so users will know whether the type constructor can be used.