The story behind Pin: self-referential types, futures, and address stability.