Remove unused stuff from property test.
Documents CoffeeMix.
Docs fixes.
100% test-covered.