Adding a neg "this" example.

  Fails at parsing.
Removing old (commented out) code.
Started adding support for "this".

  - For the moment "this" can only be in the refinement part and just for field
    accesss. For example in the prototype methods for arrays.
Adding Top as the default type for 'this'
DEBUGGING arr-concat-00.js