another test for #544
fix typechecking of anonymous iterable arg in named param list
for #544, #465, #543