No runtime type safety bites people often and in unexpected ways. It should just be standardized.

Sure, but that's an orthogonal concern. That sounds more like a call to standardise Zod.