'Types' based on the relations between objects.  E.g. A type based upon a 'Person' and a 'Company' might be an 'Employee'.  Of questionable theoretical basis.
  
See http://www.conradbock.org/compfoundation.html