Refactoring NameResolution
Refactoring NameResolution

This refactors NameResolution to use SymbolTable rather than a simple
HashMap.  This just helps to get a little more logical structure in
there.

Whiley/WhileyCompiler