Fix subtyping of types without symbols