WyC: trying to separate the issue of name resolution out from the issue of flow type checking.