Fix the tuple-product problem.

Still need to come up with good, consistent names.

Closes #75
Add Brainfuck example.
Update 'tictactoe' example.