document and export `widen`. closes #6169