Basically, any language with lots of modularity and lots of low level access is going to be big and have lots of features that are problematic in some situation

Basically, any language with lots of modularity and lots of low level access is going to be big and have lots of features that are problematic in some situations. Simply false: take a look at Oberon sometime.