Explict exports in L.K3.C.Expression
Refactored closure computation routine into utils
Added materialization scopes and argument chasing. Added provenance simplification.