Change MonoReduce to do fixed-pointing, since it sometimes enables more optimizations for itself (e.g., yanking lambdas out of [case]s)

val x = 1 :: 2 :: []
val y = 3 :: 4 :: []

fun main () : transaction page = return <xml>
  {[ListPair.mp plus x y]}
</xml>