Don't double-install impls.
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.

oridb/mc,8l/myrddin,oridb/mc,8l/myrddin,oridb/mc,oridb/mc