Traverse the type annotation of a case binder.
Traverse the type annotation of a case binder.

Missing traversal was caught by free variable consistency check.

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