feat(set_theory/surreal): surreal numbers (#958)
feat(set_theory/surreal): surreal numbers (#958)

* feat(set_theory/surreal): surreal numbers

* doc(set_theory/surreal): surreal docs

* minor changes in surreal

leanprover-community/mathlib,leanprover-community/mathlib