propagate with_type to operands if operator is unique (closes #2786)