Sun May 12 02:07:15 EDT 2019

Moving forward on the loops

It is important to see that all this fancy type stuff is just
notation.  It makes it possible to fit the idea into a larger
framework without having to do a lot of manual "matching".  Or at
least, without having to do manual verification of that matching.

The idea should stand on its own.

If it is too hard to express, find a different way.  Either untyped,
or more concretely typed for a particular example.