Variants of let, letk, ifc supporting 'this'

Also improved notation/readability of let, letk, ifc,
e.g now you can write
    Ifc(cond) {
      thenExp
    } Else {
      elseExp
    }
or
    Let(x, xtpe, e1) {
      body
    }