Do we still need Ty::Unimplemented?

[ltratt]

It feels like an odd enum variant for us to have to deal with: shouldn't it cause trace_builder to bork before it gets passed to the backend? But perhaps there's something here I haven't thought about!