Refactor support function of lazy Intersection

[schillic]

Currently we use many methods for the support function of the lazy Intersection. An alternative is to have only one method that then chooses the algorithm and only then dispatches using helper functions. This would unify the handling of keyword arguments in one place.
But it is not clear whether this is ultimately better, so we should first collect the possible arguments and decide based on that.