case statement with arms that return or discard look like they will produce incorrect type information

[cbaggers]

• open src/vari.cl/special-operators/case.lisp
• look at the compute-conditional-type-set function
• the (= num-terminated 1) looks wrong

At first glace I think we want to remove the types of the terminating branches and then carry on as usual (generating the or type in the clause below)

[cbaggers]

fix is in master

[cbaggers]

I closed the wrong ticket