Aggh, I miswrote. I meant concave down, which is actually what I used in my calculation. Thanks for the correction. In defense of my readers, they probably glossed over my incorrect definitions, and didn't notice any problem because my calculations didn't match my definition.
But I will defend my calculus: dU(AW)/dW = A dU(AW)/dW follows from the chain rule. Another way to do your calculation: d(ln(AW))/dW = A x 1/(AW) = 1/W.
Also, the NIT I described has been proposed (that's how it was described in my intro to econ class), and it does not always create an incentive to work. The relevant criteria is A dU(AW)/dW > dU(W)/dW. Since dU(AW)/dW decreases with A, there the marginal utility of work can be negative with respect to NIT.