now consExpr also returns Nothing if expr is terminating -- e.g. due to DeadCast
negate tests seem to work now, lets see what breaks.
tweak neg-07
onto vararg tests
asd
lets see if + works
vararg-01.ts dies because of plus overload, and explicit casting crashes tsc ...