Creates a type-checked label symbol.
Creates a type-checked label symbol.
The enclosing named entity where this label is defined.
The name of this label (will be encoded).
The (optional) source code position where this label is defined.
A new type-checked label symbol.
Label (loop) symbols.