garbage collectable incremental tracing memoization