Add a back link for traits, instead of a bool.

    This allows us to link the impls to the trait, look
    them up, and generate trait-local specialized names,
    instead of hoping that we can hack around the decl
    id and such when hashing.