write_repr_default now omits CONS.
derive-type now memoizes.