Derived rules chapter: spacing fixed.
ML derived rules must be defined as 'fun' and not 'val'
Description: spacing fixed.
Typography: problematic macros marked with FIXME notes.