note: this page won't make much sense to anyone but myself.
dream: table with hierarchy incld. sets, and a bunch of descendents, function composition (actually, that sode starts out with "( )"), and a bunch of descendents (this side represents operations) and a few other things (constants? constant fns? id?)
is the ( ) in the dream hierarchy fn application? i feel like its something permutational. mb: ((lambda x:f(x)) (lambda z:lambda y:g(y, z))) = lambda x:lambda z:g(f(x),z)
other ppl's ideas: ((K x)y) = x (K x y) = x (S x y z) = (x z (y z))
fokker lambda f.fS(lambda xyz.x)