Adding basic arithmetic functions, ignoring function-as-argument type inference tests for now