temporary: added some earlier work on module FOLDING. Will continue the work once other shorter transformations will be done.
KJ-67 Replace 'ListWrap with [...] syntactic construct. Implemented. At least helloWorld works. Some terrible workarounds were required due to some apparent bugs in K. All workarounds are documented as todo-s. Will have to report the problem later.