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.
kwangkim/pigment,kwangkim/pigment,kwangkim/pigment,brixen/Epigram