. "I want my language backend to build functions and types incrementally but do not pollute the main module and context when functions and types fail to build successfully (due to problems with the user ..." . . . .