Previously we would crash if we couldn't look up an associated type witness for a concrete type. Instead, propagate the failure up to type lowering, which returns nullptr to the caller, just like when other metadata is missing.