SI-8269 tolerates CaseDefs with empty bodies

This commit proposes to make `CaseDef(_, _, EmptyTree)` behave the
same as `CaseDef(_, _, Literal(Constant(())))` with respect to typechecking.

It's not like we absolutely have to have that, but it would be definitely
useful for people who don't remember default values of tree parts by heart.