WyC: finished initial pass through documentation for handling of statements in the flow type checker.