Update Matrix.idr

Reuse Semigroup, Ring operations for vector addition, multiplication