make symbol::operator== inlined