Empty out SingI1 and give it just one instance
Clarification and motivation
The SingI1
class looks like a holdover from the time before QuantifiedConstraints
. We can remove its method and give it a single, polymorphic instance. If we need to preserve its method for backwards compatibility, we can do so, but that seems likely unnecessary.
Acceptance criteria
The SingI1
class has exactly one instance.