You don't need a binary format just to get type safety. JSONSchema, OpenAPI, etc exist after all.
> But in this case the DSL is OpenAPI, which is an error prone mess of YAML or JSON specifications.
They might not be pretty, but they're not particularly error prone (the specs themselves are statically checked).