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

#include "/usr/local/include/urweb/types.h"

uw_unit uw_Transactional_foo(uw_context);