Describir: Type inheritance and relational theory /