Update Matrix.idr

Instantiate algebraic classes for Vect's of those classes