provide definitions for type integration