Add missing include.
Some misc fixes for the newly-added is_cf.hpp header.