Update Matrix.idr

Include ZZ