Implement structural assignability for `TypedDict`s

[sharkdp]

See https://typing.python.org/en/latest/spec/typeddict.html#subtyping-and-assignability

[AlexWaygood]

(I advise writing tests for recursive TypeDicts at an early stage, after my experience with protocols 😆)