Literizing Flow module.
Merge branch 'dataflow' of github.com:scottgw/concbench into dataflow
Typecheck from untyped expressions.

This will allow us to parse to the untyped expressions then
convert those to the typed representations.

Also, adding some document generation from the literate sources.