Revamped object literals + mutability

  - { f1:e1,..,fn:en } :: { M1 f1:t1,.., Mn fn:tn } M
Adding mutability support for setProp
Various additions and fixes on mutability
Updating tsc.js
Fixes - getting 'simple' tests through.
Moved subtyping out of monad into separate file
Fixing function convert
Fixes in convert.
Adding fixing for intersection type comparison
Revamping zipTypes and splitc
Replacing undefined with error...
Merge branch 'develop' into mutability

Conflicts:
	ext/tsc-bin/built/local/tsc.js
	src/Nano.hs
	tests/regrtest.py
Fixing some "undefined"'s
Using 'related' for union unification.
Lots of changes in handling calls.

  - added separate static element type
  - fixes in subtyping
  - method calls STILL NOT WORKING
Many fixes around method calls
Fixes

  - convert: cast initial to final type
  - zipTypes with "typeof A"
Adding class name into scope
Clearing error messages
Many fixes in method/function calls.