Lists for surreal_but_nice