Keep namespaces throughout the compiler.

[ordinarymath]

I don't really have a strong use case for this. My main goal is for this is that it would improve explorer output and proofs by moving the builtin functions into a module.

Might be a path to a Compositional Compiler.