Automated Resyntax fixes

[resyntax-ci[bot]]

Resyntax fixed 20 issues in 4 files.

• Fixed 9 occurrences of let-to-define
• Fixed 2 occurrences of cond-let-to-cond-define
• Fixed 1 occurrence of make-temporary-file-to-make-temporary-directory
• Fixed 1 occurrence of and-let-to-cond
• Fixed 1 occurrence of send-chain-to-send+
• Fixed 1 occurrence of explicit-cond-else-void
• Fixed 1 occurrence of if-else-false-to-and
• Fixed 1 occurrence of nested-and-to-flat-and
• Fixed 1 occurrence of provide/contract-to-contract-out
• Fixed 1 occurrence of for-each-to-for
• Fixed 1 occurrence of printf-to-display