Add + and * operators

[sitch]

There are some papers on implementing plus and multiply (and thereby subtraction and division via substitution) without having to use project/1 which would remove things like arithmetic errors when defining assignments after the project call

[sitch]

Can optionally avoid importing Kernel.+/2 and Kernel.*/2 for better syntax