Better arglist inference for implement function refactoring.
Fix failure of free-vars to return, discovered macroexpand-all isn't working as documented.