? is the loobean type: only yes or no.
?
^- casts a value to a named type: it checks the value fits and relabels it.
^-
^-(@ 42) is 42.
^-(@ 42)
42
irregular forms:
a leading backtick cast - the type in backticks, then the value - is ^-