- Update to 0.7.0: * Add ability to reduce overloading of add, mul, equals and truthy
- Trim history, and hypotheses from description.
- Initial version