implemented SymbolSet::Insert
fixed a bug that f(x:m.A:nil) is recognized as f(x:m.A)