fixed Identifier copy constructor -- wasn't playing well with std::map