Change log for the combinatorial package

0.1

• added explicit export lists, thus hide some helper functions and alternative implementations

• use alternative implementations in tests

• chooseToIndex -> chooseRank, chooseFromIndex -> chooseUnrank

0.0

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

• extracted from HTam package