Removed <ins> tags, fi_xed issue #21
More text for motivation and goals
Improved postconditions for then (future and shared_future)