Adding another code pass to wrap free vars
New calling interface to compiler