PL-32335.  Support block expression parameter type inference in the context of dynamic type e.g.,
    var dyn: Dynamic = \ x -> x // type for x is inferred as Dynamic
    assertEquals( 1, dyn( 1 ) )