Expanding TS optional arguments into overloads.

  - Fixed most of prelude as well.
Merge pull request #64 from UCSD-PL/expand_opt_args

Expanding TS optional arguments into overloads.