Add more checks, including recursive check, and a check for equal
imports sets

returning equals for equals imports sets seems to work