Merge pull request #3 from UCSD-PL/d3

New features
Merge pull request #4 from UCSD-PL/d3

Inferring function signatures from TS types
various edits to bring uptodate with fixpoint
hmph
stuff compiles with hdevtools
convert symbolString ----> symbolText to get literal consts for Type-Names
Fixing some failing tests
Merge pull request #5 from UCSD-PL/text-symbol

Ran the tests. Nothing new seems to be broken. A few tests still fail but for good reasons.
added simple test (todo) for capturing and returning errors from TSC
added simple test (todo) for capturing and returning errors from TSC
Catch `tsc` errors

  - Fixing issue https://github.com/UCSD-PL/RefScript/issues/8

  - tsc's output when the --refscript flag is given is a JSON
    representation of `FixResult Error`
Merge pull request #9 from UCSD-PL/tsc_errors

Tsc errors
cleaning up README
cleaning up README
asdasd
Imported files are checked as separate inputs.

  - support for TS's ///reference path mechanism
Cleaning up TC annotations.
Exception stacktraces are printed in stdout

  - in order to preserve the exit code.
Major update in prelude.ts

  - checks with tsc
  - TODO: check with RefScript
Untabify prelude