replace type PredefinedSymbols by type PredefinedSymbolsData:==PredefinedSymbols (to be changed later)