Fixed typo
Added addition and first refactoring
Removed proofing comment
Added subtraction functions
First subtraction refactoring
New multiplication refactor