reeIncl2" id="provingground.translation.FreeExpr.FreeIncl2" class="extype">FreeIncl2</a>, <a href="FreeExpr$$FreeLambda.html" name="provingground.translation.FreeExpr.FreeLambda" id="provingground.translation.FreeExpr.FreeLambda" class="extype">FreeLambda</a>, <a href="FreeExpr$$FreePair.html" name="provingground.translation.FreeExpr.FreePair" id="provingground.translation.FreeExpr.FreePair" class="extype">FreePair</a>, <a href="FreeExpr$$FreePi.html" name="provingground.translation.FreeExpr.FreePi" id="pro