DOC: 4.1.3 Determinism, 4.5 Type verifications, 4.7 the "\+"

[dtonhofer]

More documentation updates (i'm working through my notes here)

In 4.1.3 Predicate behaviour and determinism

• Extended the list of indicators according to "pldoc" (also, put them into a "table")
• Clarification of vocabulary regarding "leaving no choicepoint" and "well-behavedness"
• Added an example with member/2.

In 4.5 Verify Type of Term

• Reviewed the whole section

In 4.7 Control Predicates*

• A reviewed +

P.S.

Is there a way to linkify references to libraries? \pllib{error} just generates the text library(error) but doesn't transform it into an URL.