add term-let-name?