Added symbol class and hashset