propagate known type/value through set op.