1.2.1.0
---
* changed `Integral` implementation: `quotRem` now uses modular inversion!
* added `inv` for modular inversion
* added `SomeMod` data type for modular number with unknown modulus
* added `modVal` and `someModVal` helpers similar to ones in `GHC.TypeLits`