using @sstucki important sampling. cannot go deep.
Moves reify method out of monad for exact inference.