sigmastate.eval.RuntimeCosting
NOTE: when removeIsValid == true the resulting type B may change from Boolean to SigmaProp This should be kept in mind at call site