Clarifying the readme

[codehag]

Can you make it clear what Foo is in the readme? right now it is difficult to understand with no context what it is doing. Understanding it from the later examples is also difficult. A trivial implementation of Foo for each case, or even outputs and clear inputs, would help with understanding.

[rbuckton]

Do you mean the examples in the intro? Those are mostly meant to be illustrative of the syntax. I can add some additional examples, however.

[rbuckton]

Ah, my apologies. I believe you are referring to these examples. I can definitely add additional example text for these.