*linear types (the leak free future bit)

This description is also a good crystallization of why one would want linear types