discrete 0.0.1

Combinatorial phantom types for discrete mathematics