Model now fully defined
Adding more stuff
Updated reference
Split church sampling into two, the first is a sampling of the good covariance matrices and then sample w
Added two-norm and conditioning on two-norm instead of equality