Identify more local definitions as functions that should be lifted to the top level, which has synergistic effects on inlining later

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

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