An outline of outlines : typological reasoning in Plato and Aristotle