#and
#or
#not
#xor
#if
#true
#false
#iszero
#pair
#first
#second
#curry
#uncurry
#s
#k
#i
#u
#y
naturals:
1 2 42