Added some lenses for indexed access of matrices and an Iso from Mats to MatExprs.