Hetorogeneous Equality Between Computations and Associated Probability

Lemmas about HEq related to evalDist and computations in general.