Remove linearity checks from type checking passes.
Remove linearity checks from type checking passes.

Intending to do linearity checking as a separate pass.

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