Fixed bug in memoization semantics. Took out lingering references to timestamps.
Tried to better explain CESK.
Attempting the freshness -> completeness proof. Ugh.