modify type definitions