WyC: working on documentation of flow type checker.