Include in-tree copy of dependency, go/types. Refactoring.

While there was an external go/types package, it was incompatible
with the upcoming go/types API. Bundling the version that will make its
way into the standard library anyway seemed reasonable.