mark_out_datatypes(): always do deepcopy