added (preliminary) support for ShiftLeft operator