Add partial lenses in documentation [ci skip]