Remove TyBot for good from the AST representation