reduced compiler warnings, namespace std now used explicitly to avoid clash between std::set and facade::set