TyInf: make a bit more sense of section 7, and another possible generalist's lemma
TyInf: make a bit more sense of section 7, and another possible generalist's lemma

larrytheliquid/pigit,mietek/epigram2,mietek/epigram2