Could it be that taking out the complexity from something really just pushes it elsewhere? Taking out the complexity from a programming language pushes it into the program. Moving complexity from one place to another, in itself, wouldn’t be a problem, if it were not the case that there is a class-instance relationship between a notation and utterances in that notation. Countless instances of utterances have to contain individual instantiations of the extra complexity that was factored out from the notation.