Are we sure it should return 0? Shouldn't there be a difference between "no value" given, and a value of "0" given, esp. in cases when you need to calculate inheritance?
The spec uses "trait" for a resolved property. There is no inheritance for traits. I'd guess Keiron choose the name properly...
J.Pietschmann
