add section describing limitations of deep iterable constness in function signatures