The problem is that when the base language has such limitatios and funky semantics, how should languages which target that be able to deal with that in 1) stand

The problem is that when the base language has such limitatios and funky semantics, how should languages which target that be able to deal with that in 1) standard 2) predictable 3) efficient way? This is the reason CPU instruction set architectures are so simplistic and "low level" and don't really do things for you -- because if they did, targetting such a CPU would be a major pain with all inefficiencies due to workarounds due to funky and incompatible features.