also removed uniqueness for dependent pair types from symbol list