Rework tyLambda and infr: ability to build 'out of context' tactics. Add UseTac and Chk tactics to this domain.
Rework tyLambda and infr: ability to build 'out of context' tactics. Add UseTac and Chk tactics to this domain.

larrytheliquid/pigit,mietek/epigram2,mietek/epigram2