modular changelog

Type-safe modular arithmetic in Haskell, with modulus specifiable at runtime or compile time.