Changes in typechecker w.r.t. Bot type