In Penknife, refactored names to be qualified or unqualified, to patch an issue with macro hygiene. Now macros generate qualified names, and all local variables use unqualified names.