Improve the vars() computation

[haz]

Currently, it traverses the entire structure with the walk function, but nothing is memoized. nnf.vars() is likely called often enough to warrant some improvement.