Replaced a lot of the ad-hoc lifting with wrapIntoSupervisorMonad.
Cosmetic: Deleted gratuitous whitespace.
Now AbortMonad is a newtype, and wrappers were created for it.
Eliminated the (mostly) redundant calls to getCurrentTime everywhere.
Now the amount of time spent inside SupervisorMonad is tracked.
Added backup files ending with # to .gitignore.
Deleted function whenDebugging as it was only used once.
Simplified the Zoomed type family instance for Context
Created constraint alias for Reader and State functionality.
Cosmetic:  Deleted an extraneous newline
Fixed an unmatched fold marker in tests
Added a workload buffer.
Fixed a missing begin fold marker.
Now the average amount of time per supervisor call is tracked.
Added a missing strictness annotation.
Replaced Sum Int with new IntSum type.

This was done for two reasons.  First, it allows
me to explicitly specify strict semantics and
to unpack the integer, and second, it allows me
to centralize the Serialize instance instead of
having to re-define it in every program.