named chapter agda code files
separate chapters
fixed bibtex syntax
Progress on background section of Dependent Types