Added comment to EIGEN_MAKE_ALIGNED_OPERATOR_NEW
Added (untested) prior->posterior updating