Hey All,
Love the idea of your lunchbox project...
First of all, if I'm being to blunt, please ignore my request; it's just a small idea I have...
As it is rather experimental, I think describing the types of your ubiquoutous language using literate programming for the fsharp part might potentially be an interesting exercise? You seem to have the markdown ready, so putting it in a comment and gradually adding the proper types shouldn't be to hard?
Anyway, whether you try this or not, I'll follow the project in every step and I am looking forward to see what will come next.
T.