Wrapped data type definitions with <pre> tags