add missing n >= 0
use \valid instead of old deprecated \valid_range predicate
move codes from chapter 3 into seperate folder
-improve formatting of mismatch spec
-remove line numbers
improve references