dump text from proposal
formatting
tweaks to definitions and notes on preliminaries section
write about Cartesian closed structure on category of species