Add a bug example about needing index set type classes
Add a bug example about needing index set type classes

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