Optimize the det_info structure.

compiler/det_util.m:
    Delete three fields from the det_info structure. Apparently they
    haven't been used for some time now.

    When updating other fields that are likely to be set to the old value,
    check whether the new value is the same as the old, and avoid allocating
    a new det_info structure if it is.