> But what might such a language look like? For example, I imagine it will unashamedly dynamically-typed, or maybe have a simple (Go-like?) static type system - rather than the complexity of Python's Mypy/Pytype/Pyright/Pyre.

non-programmers using the language will almost certainly not use type hints.

I suspect most Python code out there does not.