[Python-ideas] Add new `Symbol` type