Changed a std::bind back to a boost::bind to avoid scope creep.
Removed env_t::throw_if_interruptor_pulsed (which was used only twice).
Adjusted comment about semilattice_metadata.
Clarified a comment.