WyC: more tweaks to the "new" flow type checker.