typing: standardize error messages for AForExpr loops