SE-0195 — Introduce User-defined "Dynamic Member Lookup" Types

How would the wrapper generation work? From the proposal:

Use "automatically generated wrappers" to interface with Python

This approach has numerous problems. Beyond that, wrappers also fundamentally require that we take (something like) this proposal to work in the first place. The primary issue is that Python (and other dynamic languages) require no property declarations. If you have no property declaration, there is nothing for the wrapper generator to [w]rap or generate.

And my focus on Python to facilitate more concrete terms of discussion, but any other dyanmic language (the target of this proposal) would have the exact same issues.

For which dynamic language would you ever have a KeywordType that's not String, and a LookupValue that isn't PyVal or equivalent?

I like strong styping, and dislike stringly typing too, but we're talking about dynamic languages here. That's the name of the game.