Remove ty_bot from the type system

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