Add Free Group and Monoid.
Add laws/tests for FreeMonoid/Group.
Refactor D3 test group a bit.
Use ::: instead of ++ in FreeMonoid.
Add FreeAbGroup.
Use only positive exponents in split.
Uncomment tests - oops.
Merge pull request #279 from tixxit/topic/freedom

Add FreeMonoid and FreeGroup