Adjustable.run now takes an implicit tbd.
Rewrote MemoTest to use the new style (no dests, reads have cases)
Removed all use of dests from client code.