PoF: Free() for WHERE is fundamentally wrong

[mathgladiator]

When computing the free environment of a where clause, we need to know the type of what is being iterated over to compute the free variables since the where clause is going to define variables from the space. This is problematic as it means dependency capture is going to be wrong.

This problem can be mitigated by using where_as