Export symbols with a stable-ish name.

    Drop the decl id, and just use the type hash for the unique
    identifier when specializing generics.

    Also, actually export trait functions so that when imported,
    they work.