[Git][ghc/ghc][wip/jeltsch/closedness-check-documentation-fix] Fix the documentation of `hIsClosed`