Launch codes for "unsafe impl"

[eternaleye]

It'd be nice to have launch codes for unsafe impl as well, since unsafe traits have a lot of potential for encoding higher-level constraints (like for cryptography) into the type system.

However, since unsafe impl is essentially an assertion by the programmer about the behavior of the underlying type, there may be complications regarding what the launch code is computed over.