Discriminate based on key presence if keys are strict

[ssalbdivad]

Would allow a union like the following to be discriminated:

const discriminated = type({
  a: "string",
})
  .or({ b: "string" })
  .onUndeclaredKey("reject");