Every time some complexity (of a system or language) is abstracted away, we get a result that is easier to handle in "most" cases, but a lot harder to understand in edge cases. Modern languages and software usually are abstraction of abstractions of abstractions... So it's no wonder it grows in size, and mostly not even linear.