start of rewrite of section 2: prologue, and subsection on atomic types and functions
ignore gzipped files