WyC: the new flow type checker now compiles.  It needs a *lot* of documentation.