Refactor EPOCH into more conceptually related modules (#964)

* Refactor EPOCH into more conceptually related modules

* Add Rewards to VDelegStake

* Incorporate William's suggestions

Co-authored-by: William DeMeo <williamdemeo@gmail.com>

* Address warning

* Move import of Prelude to module body

---------

Co-authored-by: William DeMeo <williamdemeo@gmail.com>

Author: carlostome

src-lib-exts/stdlib-meta/Reflection.agda

@@ -13,7 +13,7 @@ open import Class.Show
 open import Meta.Prelude
 open import Meta.Init public
   renaming (TC to TCI)
-  hiding (Monad-TC; MonadError-TC; toℕ)
+  hiding (Monad-TC; MonadError-TC)
 open import Reflection using (TC; extendContext)
 
 open MonadTC ⦃...⦄