fixed Haskell type error in TypeChecker to make it build; basic tests still work fine
fixed Haskell type error in TypeChecker to make it build; basic tests still work fine

brownplt/strobe-old,brownplt/strobe-old,brownplt/strobe-old