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
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
Fixes in convert and ...

Also, adding field initilization expressions to the beginning of the
constructors.
Introduction IfaceKind and IndexKind
Fixes in TCing constructors

  - Assigning the right type to 'this' for initialization

  - Also, parsing qualifiers from classes
SSA compiles with new `AnnSSA r`
SSA compiles using Visitor on constructor
Typecheck compiles with new annotations