Cleaning up finite-sample material

Moved algebraic properties of OLS to the linear regression material,
fixing some missed operator names
moving some itemized equations into align environments.