Use upcast-hvec in subtyping.
Merge pull request #1 from frenchy64/annotate-core2

Use upcast-hvec in subtyping.