Discretized HMC

Is there any interest in implementing generalizations of HMC to discrete spaces for Turing.jl? Examples:

https://www.tandfonline.com/doi/full/10.1080/01621459.2019.1585255?casa_token=XuidyAblCZQAAAAA:FrOpfFdJWbBrG1R0-ZNZ6pfgDnK15hhj6mXvDWrTbZwZCQCrm0K7SM5lDVE5P-bDUwWxK7TRrQ77NA

Yeah, I think we’d be interested in seeing how that would integrate into Turing – we’d love to have someone try to open a PR somewhere for this.