%: calls a gate with several arguments, gathering them into one sample.

%:(add 2 3) is 5.

irregular forms:

(gate a b c) is %:(gate a b c)

need unwraps a unit, or crashes on ~.

(need (some 5)) is 5.

some wraps a value in a unit - [~ value].

(some 5) is [~ 5].