Implement a generic form of conditioning which is able at the least to support Turing/Pyro/Gen style conditioning of primitives to concrete values. A more generic version of this would support other distributions, possibly using a form of parametric inversion as described in #4 and #12.
Implement a generic form of conditioning which is able at the least to support Turing/Pyro/Gen style conditioning of primitives to concrete values. A more generic version of this would support other distributions, possibly using a form of parametric inversion as described in #4 and #12.