Started major rewrite incorporating general Gaussian updates and optimality.