Adding a modular-expt test.
Wrapping environment monad function bodies in let to allow internal define.
Adding initial RSA library.