Rename trait names and method names to stay consistent with the chosen
mathematical terminology family:

- Rename Plus to Add
- Rename addition to add
- Rename subtraction to subtract