DOC: |/2 is no longer a predicate and some more summary fixes