Performance improvement: name supply

Use a name supply instead of checking for uniqueness of names when
creating holes. Huge speed improvements on large definitions!