[make E.TypeCheck make sure the case alternatives match the case type attached
John Meacham <john@repetae.net>**20061010065815] hunk ./E/TypeCheck.hs 161
-        withContext "Checking case bodies have equal types" $ eqAll bs
+        ect <- strong' (eCaseType ec)
+        withContext "Checking case bodies have equal types" $ eqAll (ect:bs)
hunk ./E/TypeCheck.hs 166
-        return (head bs)
+        return ect