Implement Eq and AEq generically
Clean up test suite types
Test linearity of matrix addition under scalar multiplication
Fix multiplicative identity and associativity tests
Test transpose properties of multiplication
Test distributive property of matrix-vector multiplication
Test associative property of mul and mulV
Test multiplicative identity on vectors