This package roughly contains all the modelled data objects. Yes, it heavily overlaps with the types package.