Invalidating sourceProperty on property mutation

It was harder than I thought to make a repro using the playground, but theoretically, if a sourced property is modified (say by a projection), we should probably remove the sourceProperty. Things like getEffectiveType would consider the changed property and its source to be equivalent. Pretty much everywhere we check sourceProperty in this case is questionable.