Remove algebraic simplification rules from simplifier.
Add separate version module that exports version information.
Remove unused monad-loops dependency.