Bubble up Undefined values instead of errors
Monadize evalT
Add SimpleStore
Tuples: Reference values allocated in the store
Add TupleWrite
Add test for TupleWrite