Partially implemented mixed fin/inf list/e
Fix bugs in tuple reconstruction and slice/e