Fix for #1696: Can't compile Iterable.paired

Make sure that we consider a type erased if it has substituted type parameter bounds
Further fix for #1696: Can't compile Iterable.paired

Otherwise we had exceptions in the test
Test for #1696: Can't compile Iterable.paired
Updated test .src for #1696: Can't compile Iterable.paired
Updated test .src to latest language module