Creating non typechecked math operators

[SuperFola]

For performance reasons (benchmarks and profiling needed), I'm considering adding non typechecked math operators alongside the typechecked ones.

That raises several questions:

• should that be implemented as separate instructions or another way?
• how do we name them to convey the removal of runtime typechecking?
• should/can we do some compile time typechecking to prevent most errors?

[SuperFola]

An alternative might be to create built ins for this, however this would not be optimizable at the IR level, we will have to measure the gains of removing the type checking against both non IR optimized and IR optimized code before choosing to add or not those built ins.