changed the type of Context#tokenSorts to Set<Sort>