C-DXLET: a variant of C-LET with FREE defaulting to T