We can write something like
std::hash<std::set<mata::Symbol>> hasher{};
which is actually just
std::hash<std::set<unsigned>> hasher{};

This is probably bad idea, we should hide this function in our namespace.