New, more principled heuristic for Especialize: only specialize uniform function arguments; that is, arguments that don't change across recursive calls

fun main () : transaction page = return <xml>
  {[case String.split "abc{" #"{" of
        None => "!"
      | Some (pre, post) => pre ^ post]}
</xml>