Better is_empty_expanded management. Now low-level TYPE_MARK.is_empty_expanded is not publicly available anymore; one has to call TYPE.is_empty_expanded.