Enable type-driven property reactivity for traits

Extend property reactivity to work with traits.
The set of dynamic types should be considered a property, so that traiting-driven modifications do not trigger unwanted reevaluations