Renamed variables, expanded Bayesian coverage.

Trying to get the language of the book consistatn and more
formal, otherwise it is too hard to go from this to the
literature. Also, I need a bit more proof, so the formalism
is useful.

Author: rlabbe