Merging LHE's alternative definition of decomp, which uses a relation that models one step of a tail-recursive evaluation of the decompressor function and takes the function to be the transitive closure of this relation.