Cache names in evaluator environment

This is better for displaying terms, especially if there are shadowed
names that we've renamed.