add more operations. Switch to GADT for DimMat
fix AreRecips
switch to [[*]] for unit lists (for each dimension)
fix example (typo)
Merge pull request #1 from aavogt/master

Catch up with changes