LaTeX fix + added feature for the persistent memoization task
Updated proposal.pdf