refactoring: lazy relation generation + test
added InfiniteSetLengthException to infinite sets