vingground.translation.FreeExpr.FreePi" class="extype">FreePi</a>, <a href="FreeExpr$$FreeProj1.html" name="provingground.translation.FreeExpr.FreeProj1" id="provingground.translation.FreeExpr.FreeProj1" class="extype">FreeProj1</a>, <a href="FreeExpr$$FreeProj2.html" name="provingground.translation.FreeExpr.FreeProj2" id="provingground.translation.FreeExpr.FreeProj2" class="extype">FreeProj2</a>, <a href="FreeExpr$$FreeSigma.html" name="provingground.translation.FreeExpr.FreeSigma" id="provingground.transl