fix TyCheck for case, tyCheckEq args were swapped
the constructor functions should return constructors!