New scheme for unresolved types