discrete 0.2.1

Combinatorial phantom types for discrete mathematics