math.extras: label kahan+ stack effects to match pseudocode.