@CptSuperlative by "symbol overloading" I mean the reuse of the same symbol with another similar but different meaning determined by the context, just like operator overloading in some programming languages where the actual function to run is determined by the number and type of its arguments.