Implement 'Case' case of generic traverser.
Implement 'Case' case of generic traverser.

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang