try to improve exhaustive.hpp: restore fixed example, fix includes, improve formatting