^* is the bunt: the default value of a type, the same one =| pins.

^*(@) is 0.

irregular forms:

*type is ^*(type)

$_ makes a mold from an example value: the example becomes the mold's default (its bunt).

$_(7) is an atom mold whose default is 7.