Add module Data.Matrix to base
Update base.ipkg

Add Data.Matrix to base.ipkg
Update base.ipkg

Fix missing comma in base.ipkg
Update Matrix.idr

Include ZZ
Add missing case in checkUniqueKind (fixed #1606)
Fix Prelude.Algebra.VectorSpace

Fixed definition of Prelude.Algebra.VectorSpace, which was defined incorrectly.
Update Matrix.idr

Instantiate algebraic classes for Vect's of those classes
Update Matrix.idr

Reuse Semigroup, Ring operations for vector addition, multiplication
update test/reg050/expected
update test/reg050/expected [2]
VerifiedSemigroup, VerifiedMonoid for List

* No unification failure for VerifiedSemigroup anymore

* Add VerifiedMonoid (List a) instance

Note that the instances need definitions from further down in the file
and are thus moved closer to the end of the file.
make VectorSpace a subclass of Module
use Module class in Data.Matrix
added verified monads
merge fix
added verified functors/applicatives
distinct Module instance for matrices

This is a less general solution that the ideal one which would be:
Module a b => Module a (Vect n b) where (<#>) r m = map (r<#>) m
But results in 'overlapping instance' error.
Fixed typo, removed some extra whitespace
verified monads are applicatives
consistent format for empty class declarations