WyC: various minor tweaks
WyC: added support for shift operators.