discrete 0.0.0

Combinatorial phantom types for discrete mathematics