Faster specs, garbage collection and transactional cleanup refactor