The point made in the OP is that expressiveness is sacrificed by having these safety features. This is simply not the case with static typing, because of the ease with which dynamic typing is embedded in a static type system.
"code written in the embedded typing is less sound" - Well the point maybe is that static typing did not bring quite the safety some thought it did: it only promised that these functions must return, if they do return, a value of a given type. The ability to model dynamic typing inside static typing shows just how weak this guarantee can be. More generally, it show there is no expressiveness sacrifice.
I think the crux of the issue here is "triviality."
I claim that it is nontrivial to embed dynamic types in a statically typed language. Usually this is due to the need to add lots of explicit coercions in order to interface with all of the code is actually statically typed. I can embed a dynamically typed programming language in my statically typed language, with its own libraries, but that's hardly "trivial".
Difficulty matters. Otherwise I can claim that I can bypass memory safety by writing a simulator for x86 in a memory safe language, and, well, the code that runs might violate memory safety (in some alternate sense), and thus, there is no expressiveness sacrifice!
"lots of explicit coercions" - even without recourse to generics, the overhead tends to be small. Really, try it. There's no need to write intepreters, let alone architecture simulators.
I tend to think the attraction of dynamic typing is the ability to run incomplete or ill-typed programs. If we have type inference, there is no real advantage in terms of conciseness.
"code written in the embedded typing is less sound" - Well the point maybe is that static typing did not bring quite the safety some thought it did: it only promised that these functions must return, if they do return, a value of a given type. The ability to model dynamic typing inside static typing shows just how weak this guarantee can be. More generally, it show there is no expressiveness sacrifice.