[lioeters]

I take your brain, add a couple more rules, and presto! It can perform any computation.

    Ix = x
    Kxy = x
    Sxyz = xz(yz)