-------------
- rendering of anonymous interfaces as toplevel-TypedDicts now
possible (use switch -a toplevel) to avoid error messages by
type checkers
- added rudimentary support for more advanced types, e.g.
"type Exact<T extends { [key: string]: unknown }> = { [K in keyof T]: T[K] }"
Caveat: Not all of these constructs are supported and, if they are supported,
they will appear strongly simplified on the Python side, often simply by
using "Any". But at least some of the constructs will be parsed, now.