State Monad for Functional Packages

A way to have functional packages with shared state. One implementation with a stacked state and store monad for composing state parameterized derivations. Another just using a state monad with package records.