Make QQ know it is an enumerated set

[tscrim]

Problem Description

QQ in InfiniteEnumeratedSets() is False. However, we iterate over every element. So we should change this.

Is there an existing issue for this?

• I have searched the existing issues for a bug report that matches the one I want to file, without success.