Associated lang items

[ecstatic-morse]

Some associated items have a special meaning in the compiler, for example, Fn::Output and Future::Output. However, these associated types are often looked up by name, or worse by definition order. We should be using the lang item machinery for them.

[lcnr]

relevant for #70705