structuralInvariant for MyersStack
look into FIXMEs
add docs to the implementations to help decide when to use which ones
put together some kind of benchmarking
use 'assert' to check preconditions?
find or reimplement the data structures from Martin Holter's thesis.
add mapAccum?
Add "Generic" versions of data structures requiring particular
  types of keys?
