Don't double-install impls.

    When we install impls and specialize them, we fix up the
    impl definitions. We don't need to fix their type and install
    them a second time.
Pickle/unpickle Nimpl.

    We currently seem broken on the type ids.