Agreed. Even more of a reason to not make + into add and - into subtr. I've thought about how the verbosity can be avoided, but at certain level of complexity,

Agreed. Even more of a reason to not make + into add and - into subtr. I've thought about how the verbosity can be avoided, but at certain level of complexity, it is better to have long descriptive names, but I'm not experienced enough with big projects to propose a solution.