Unify Expression with *Comparable