clarify and spec inheriting from extended records