fix inference for generic Types when argument has Default property

[Andarist]

I'm opening this as an experiment to see what CI has to say about it. It's meant to fix this (TS playground):

import { type, Type } from "arktype"; // types: 2.1.25

function someFunction<TSchema extends Record<string, any>>(
  schema: Type<TSchema, {}>,
): (typeof schema)["infer"] {
  const someData = { hello: "world" };
  return schema.assert(someData);
}

const schema = type({
  hello: type("string").pipe((s) => s === "world"),
  goodbye: "string='blah'",
});

someFunction(schema); // error 😢

I do expect this to break inference related to Standard Schema though.

[ssalbdivad]

amazing thank you 😍