General.State
Interface for GIL General States.
They are considered to be mutable.
module type S = Gillian.General.State.S