add mention about closures in function synthesis post