corrected misunderstanding about how dispatching works in arithmetic/simplification
corrected misunderstanding about how dispatching works in arithmetic/simplification

narechiga/proteus,narechiga/proteus,narechiga/proteus