Fix bug in type equality
Fix bug in type equality

Different union cases should never compare equal.

alangpierce/LambdaCalculusPlayground,alangpierce/LambdaCalculusPlayground,alangpierce/LambdaCalculusPlayground