`label` statement

The constraint $t label <LABEL> matches all types $t that have the label (name) <LABEL>.

Defining type labels

The label keyword is only used when matching on a type label. The type label is created automatically when the type is defined.

define entity user;

match $t label user;