Compendium of Type Definitions