Make let correctly implement the TC-Let rule from the paper