Would anyone like to write a pep adding this functionality? For context Typescript has the ability to constrain the types of additional properties in this way. I would be happy to collaborate with someone. Best, Justin Black