Fix Value.utype()
Avoid creating duplicate variables for named comparison predicates.
Use correct type for predicates