combinatorial-0.0: Changes.md

# Change log for the `combinatorial` package

## 0.0

* Tests: replaced `(==>)` and custom cardinal types by `QC.forAll`.

* extracted from HTam package