* written before a type gives that type's default value, so *@ is 0.
*
*@
0
^* is the bunt: the default value of a type, the same one =| pins.
^*
=|
^*(@) is 0.
^*(@)
irregular forms:
*type is ^*(type)
*type
^*(type)