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

fun main n =
  case n of
      0 => error <xml>Zero is bad!</xml>
    | _ => return <xml/>