The type for strategies over latent values 'p.
uniform draws each coordinate uniformly in (-2, 2).
prior draws coordinates from the prior.
#val near : 'p -> ('p, 'd) t near p is the coordinates of the values p, each moved uniformly in (-0.1, 0.1).