This is now done in a single pass called DefineTypes. Method bodies are
handled by deferring their inference to the very end of this pass. This
also removes the need for hoisting constants/methods, which was a weird
hack to begin with.