Expands a ParameterSpace to all values that could match a TExpr Bool.
Currently only supports countably finite expansions of parameters.
That is TExpr Bool such as (
sc.param param > 32) are ignored.
Instead (sc.param param in [foo, bar]) gets expanded to (param, [StringParam foo, StringParam bar])
Supported expensions are And Or Eq / Contains.
The idea is that you can generate a list of Execution to run by first expanding all possible points in the ParameterSpace modified by the TExpr, and then filter these possible points using a same TExpr.