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.