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

fun x y = y.Hellodsad
val bar = x {Hello = 1, RightO = 2}