Preparing for memoization
Restarting memo with CESK*Ξ machine first
Add global kstore to aac_memo
Add memo table
Implement memoization as in the paper (figure 12)
Fix memoization