Stub in more code for trait/impl.

    We now make Impl nodes, and then die when we try to use them.