Yannis: (a) Added 3 new lifter classes. (b) Some additional fixes in boolean for
partial evaluation, (c) zip method in arrays (d) Minor other fixes