ExpressionTransformer: fix for #1548: Incompatible types bug with comprehension and Callable

If we're using the type as a type argument we need to say so
More runtime tests for comprehension and capturing for #986
Test for #1548: https://github.com/ceylon/ceylon-compiler/issues/1548