¶The natural normal concatenative basis
Like the natural linear basis, the natural normal basis has one primitive instruction for each category of instruction:
[B] [A] cat ≜ [B A]
[A] drop ≜
[A] dup ≜ [A] [A]
[A] i ≜ A
[B] [A] swap ≜ [A] [B]
[A] unit ≜ [[A]]
