Change log for the combinatorial package

0.0

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

• extracted from HTam package