DataType: + data_type_to_string function

The ostream operator now uses this function.