V.D223 — Export E3: Entropy Splitting

Exports entropy splitting S = S_def + S_ref with defect entropy (bounded, decreasing) and refinement entropy (unbounded, increasing).