Documented the behavior of turning unbound identifiers starting with _ into type holes.