* e.g. scaling symbols based on their context and nesting level, just like we do in math equations*

That's a great idea. I can see it working in other languages as well, e.g., what Guy Steele and others were trying to do in Fortress.