sl/adt_op_replace: infer empty(C) only if we know what C is
sl/adt_op_meta: ignore identical VT_CUSTOM values in diffHeaps()