Added discussion on various built-in predicates to reasoning chapter.