bib: add Filinsiki
ADTs and polynomial functors
wording
definition of function space domain
figure ht stuff