Set functor to reexport arithmetic bindings

This is needed to facilitate composition with tiny-matrices functor