generalized taintedDot/untaintedDot, strict composition in setters