Update 'Revises' field in header.
Update introductory material.
Add use_future_t.