Use upcast-hvec in subtyping.