Added Ord derivation for Arith, added Functor instance w.r.t the embedded type