ExpressionTransformer #1392: if we erase the expression type to Sequential treat it as a downcast if it's not a subtype of the expected type anymore
ExpressionTransformer #1385: try really hard to never ommit method type arguments

because method calls are never raw, there is always inference
Updated test .src for #1385: added type arguments wherever possible
Beefed up test for #1385