free-algebras-0.0.2.0: ChangeLog.md

# Changelog for free-algebras

## Version 0.0.2.0
- Simplified `Proof` type.

## Unreleased changes