Use type class (SourceSymbol) rather than scala Symbol for designations calls