Revert "Removed unused header result_of.hpp"

This reverts commit 84723ea694bfc9a0d05ff29be44363423afc085d.
Untested implementation of N3865 future::then, future::recover