[evinism]

Various choices:
Adding an NAND/NOR stage for 2 reasons:

• it makes "compose functions together to get bigger functions" more explicit
• I needed NAND/NOR to make the width of the secret in the next problem smaller, haha.

Switching to \ for lambda for several reasons:

• Single variable PLUS would parse as PλUS, no good
• It matches other functional languages
• It's apparently occasionally more intuitive, crazily enough to me.

TODOs:

• Write win condition for NAND/NOR
• Verify functionality of all the problems
• Smooth out flow for informing user of capital letters being one single token
• Test that a new user understands the difference