Finish support for the case construct.

Leaving out show implementation intentially.