WyC: renamed UnresolvedType to be Syntactic Type.