Captures are now a persistent data structure (not that it helps that much).