ProofKit: improve validateHere (semantics of errTyVal should be that the type is a guess)
ProofKit: improve validateHere (semantics of errTyVal should be that the type is a guess)

mietek/epigram2,mietek/epigram2,larrytheliquid/pigit