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)
Replace a sequence of <|> with choice.

Replaces `a1 <|> a2 <|> ... <|> an-1 <|> an`
with `choice [ a1, a2, ..., an-1 ] <|> an` in Idris.REPLParser
where `choice` is from package `parsers` module `Text.Parser.Combinators`.

On my machine with ghc 7.8.3 this lead to a decrease in memory usage
during compilation of this module from >7GiB to ~400MiB.
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 pull request #1686 from projedi/compilation-memory

Replace a sequence of <|> with choice.
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