Adding field init transformation in SSA

  this.x = e;
  ~~>
  x_CTOR_ = e;
  ....
  this.x = x_CTOR;
  return;
Adding initialization examples
adding tests for calling 'map' on arrays
adding tests for calling 'filter' on arrays
Adding bad examples.
Disallowing refinements at functions in parsing

  - Functions should NOT be treated as callable objects.
PROBLEM: Dead cast in CondExpr returns empty env!!
Handling CondExpr and deadcode.
Bug fix in TCing of CondExpr
PROBLEM with function refs

  - Adding ttag info in func ref breaks old tests.

  E.g.: tests/pos/misc/twice-hof.ts
Merge branch 'in_operator' into arrayspec
Fixing cleanup script.
Fix in dealing with function types

  - Subtyping with different number of arguments:

  (t1,t2,..,tk) => t <: (t1,t2,..,tk,..,tl) => t
Some more fixes in function subtyping
Merge branch 'in_operator' into arrayspec
Started changes in subtyping
Merge branch 'initialization' into arrayspec

Conflicts:
	src/Language/Nano/Typecheck/Types.hs
Cleaning up Sub
Merge branch 'master' into arrayspec
conflateSubElt only done at parsing