Modular Arithmetic
- modular type
- modular traits
- modular gcd
- some needed algorithms
- chiniese_remainder_traits (very experimental)