TyInf: improve definitions at start of sec 9, but it is still fairly heavy
TyInf: improve definitions at start of sec 9, but it is still fairly heavy

mietek/epigram2,larrytheliquid/pigit,mietek/epigram2