Remove ty_bot from the type system

We now instead use a fresh variable for expressions that diverge.

Closes #14973.
Closes #13847.