better messages for add with constraint override
now we can have constraints yay