ResidueEnergyLeg

Public import for the boundary-energy theorem with covering containments. The common proof and its cube-energy specializations are in AssemblyEnergyLeg.

Ported from scottnarmstrong/Superdiffusion at 7f20476385d4af418f110303085ad0740c9eba46.