Stub Matrix type

Complete niave Vector implementation

Provides initial structure and test coverage to enable refactoring and
perf updates.

Support random element generation in specs

Use identiy check in specs

Continued Vector impl (still WIP)

Simplify element lookup

Improve perf of element insertion

(Partial) specs for Vector

Initial Monoid, Semiring, Vector types

Initial commit