Remove TyBot for good from the AST representation
Update rustdoc