Text this: Type inheritance and relational theory /