It makes sense to forbid CAR or CDR of an ENTITY, but the same reasons don't apply to ordinary closures. That's what the distinction is for. If there is no need for the distinction, then we should reclaim one of the two data types.