Adding orig tsc version 1.0.1 as a benchmark.
Adding some annotations in arrayUtilities

  - Following JavaRI
Small clarification in arrayUtilities.annot.ts
Small fix in comment
Breaking down arrayUtils.

  - These pass the translation phase.
Porting new version of TS to RS translator.
Fixes to make RefScript compile again.
Fix in Setup.hs
Removing Liquid, tc, and not-js tests.

  - Should be subsumed in typescript tests.
Enhancing sig for ===

  - Also unifying in tcExprT.
Updating prelude '===', etc.
Fix in overload resolution

  - It now does unification and subtyping in order to decide a valid signature
  - Also it is done in a retractable monadic action.

TODO: Fix 'this' in array length!!!
Cleanup in property read.
Changing name from lib.d.ts to core.d.ts
Removing unused.
asd
Asdasd
ASDASD
next: fix the error reports to match LH
now fix error report output