WIP: Improve evaluation of Intersection's for FiniteSet with symbolic elements

fixes #8217