Remove unused clause arguments in tc-let-unit.
Make let correctly implement the TC-Let rule from the paper.