closed #18. Data implementations that extend a base type are now interepreted as such