More aggressive inlining of 'let' with record literals, plus some changes to Monoization of queries, to make inlining more common

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

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