For loops, improvements to def specifiers