Title: Typefinding recursive structures: a data-flow analysis in the presence of infinite type sets