Feature request: bit formulas

[xyproto]

Hi,

This looks really nifty! Here's a feature request:

If implementing for instance an adder (add8) in Nandlang, it would be super-cool to be able to ask for a formula for the Nth output bit.

For example:

1. Implement add8
2. Ask for the formula for the 0th bit of the add8 output.
3. Get a formula for the 0th bit: add8[0] = i[0] ! i[3] !(i[5]) (this is just a made-up nonsense formula, getting the real formula for the 0th bit, in terms of nand operations on the input bits is what would be interesting).

Why? This could in therory be used to optimize algorithms like sha256.

Cheers!