You are very correct. I think there is still much to gain even from Turing-complete languages, where the Turing-completeness is relegated to one particular rar

You are very correct. I think there is still much to gain even from Turing-complete languages, where the Turing-completeness is relegated to one particular rarely needed construct. Beside the rest of the language being completely analyzable, that one piece that isn't easily stands out as a code smell.