Update documentation of internal structure of git_type. Improve description of global garbage collection.