rec-rewrite-datatype