fixed several issues of the gc. I.e. the gc sometimes did not collect the whole subtree when deleting an operation

Making documentation consistent