Update document of projection operators.
Update document of projection operators which need GHC extensions.
Update document.
Update document of projection operators around flatten Maybes.