TyInf: pull out optimist's lemma remark from generality of type inference proof
TyInf: pull out optimist's lemma remark from generality of type inference proof

larrytheliquid/pigit,mietek/epigram2,mietek/epigram2