NonZero lang item.

I think it should be baked into the compiler, because there is no trait for the types we'd like to fit here. We could possibly write a marker-only trait with `unsafe` traits and default traits.