Dune::InterfaceInformation reimplements std::vector<std::size_t>

The only difference is that it uses the member function add() instead of push_back(). And of course it has no support for efficient moving, swapping, etc.