A refactor that needed to happen: a Concat is not a Term!
`:` instead of `.` for module specifiers.
`:foo` means the production `foo` in the current module.
Implement fold.  Oh yes.
Implement fold with constructor.  Fix C code.  All tests pass.
Tweak README.  Yeah so this githubpages thing.... yeah.