[new term] data typing information

Analogue to unit information we need a "data typing information" for data typing process.