Changed words that deal with arithmetic and comparisons to names that
are more conventional/normal/concise (example: "*" instead of "mul").