Add names to the mix too.
Introduce a newtype for holes.
Hooray! Generate pretty names!