More funspecs in ch-4; refactoring ch-1: decompose 1-2, switch to longtable.