Surreal differentiation

Once we've constructed the correspondence between surreals and Hahn series, a fun project would be to define Berarducci's and Mantova's differential operator, as described in [their paper](https://arxiv.org/abs/1503.00315).