Separate builtins and remove inconsistent i64 helper axiom.

TODO: fix arm and powerpc
TODO: some boring proofs