Added a verbose option.
Draft report.
Branching on l_timeless, fixed some bugs.
Polished the beginning of chapter 1.