Fixing subtyping and consistent-subtyping of tuple types and vararg types