Updated two test error messages due to typechecker changes
Test for #1417: reified type of iterable comprehension