Merge pull request #3 from l-adic/update-index

Clean up container types for expr language

Author: martyall

Diff for: arithmetic-circuits.cabal

@@ -47,6 +47,7 @@ common deps
     , filepath        >=1.4.2
     , finite-typelits >=0.1.0
     , galois-field    >=2.0.0
+    , microlens
     , process
     , propagators
     , protolude       >=0.2