EXTRA_LAZY seems to be more correct here. I don't see why we'd need any distinction though - can't it always be a `LazyCriteriaCollection`?