Tweaked the discussion of built-in predicates to distinguish between standard-defined predicates and convenience predicates.
Added an appendix containing a sample of compiled output.