CachingEvaluation: try addressing TODO
CachingEvaluation: try addressing TODO

That is, try actually saving the intermediate results. Turns out that
treating types (instead of type codes) as data isn't the best idea.

inc-lc/ilc-agda