modify WITH-FUNCTION-ENVIRONMENT macro to make macro expander implicitly