like having first-class access to the storage space behind IORefs.
The data structure is analogous to a bank vault, where you can
access different bank boxes with different keys; hence the name.
Also provided is a /locker/ type, representing a store for a single
element.
ok matthew, sthen.