At least gara can't check exhaustiveness now: require one to add `else` to check all cases: it might be harder in general make sure branches match each possibl

At least gara can't check exhaustiveness now: require one to add `else` to check all cases: it might be harder in general make sure branches match each possible value. However it should be possible for sum types/enums: `case` already does it