VM: Fix subtyping for type variable pairs.
VM: Fix subtyping for type variable pairs.

- The `return` in the first case statement in `is_subtype_impl` was premature, as for tv/tv subtyping, both cases must be tried in some instances.

marcopennekamp/lore,marcopennekamp/lore