Separate name resolution from code generation

[themattchan]

Much of the complexity in the current code generator is due to name resolution and well-formedness checking being intermingled with actual code generation. It would be much cleaner to separate this out as a separate step.