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