add free variable analysis for lambdas, which also fixes the closure-map inconsistencies on certain tests
make defaultModuleResolver actually use real modules, and enable tagApplicationOperator to use actual moduleBindings