ISymbol -> Symbol

Interned symbols are now the main type of symbol in use