Added a Functor instance for Arith with respect to functions of the embedded language