Add set!
Implement memo and read tables
Implement updateMemo
Add mark frames
Implement updateReads and function that walks over the stack to retrieve procids
Add bookkeeping
Memoize values