How to use [type]

The reference page of type has its arguments, constraints and declaration.

This slot returns the Hyperlambda type name of some value.

.foo:int:57
type:x:-

After invoking the above, the value of [type] will be int.