[[[a b]b a]"s"]         Swap
[[a]"s"]                Pop
[[a a a]"s"]            Dup

[[[[a A]]a A]"s"]       Uncons
[[[a b][a]b,]"q"]       Cons

[[[a p]p!a]"q"]         Dip