scala Symbol Type