mod-0.2.1.0: Fast type-safe modular arithmetic

Modular arithmetic, promoting moduli to the type level, with an emphasis on performance. Originally part of the arithmoi package.