[ fix ] Ability to print open terms

As long as we have a ValidContext, we know how to generate names
for the pretty printing process.