Deprecate `optional.hpp` too.