Adding updates to Flet, Labels, Macrolet, and Function call analysis to handle proper recursion and proper environment handling.