Aggregation: remove from the scope the variables locally bound

E. Rivasrequested to merge
er433/fix/aggregation+scope+lambda+cases into dev

type:fixed

For LIGO developers

As reported in #ligo, there's some trouble with bound variables by abstraction/cases and aggregation pass.

Changelog details:

Edited by E. Rivas

Merge request reports