Fix reconstruct_identifier
Type_utils: remove some printf debugging