Changes in system.tex to describe the module system -- old description
was out of date in several respects. Also added several examples of
use.
Changed some description items so that standard predicates will appear
as such in the index.
Added descriptions of call/[2,3]
