implemented bitop-{<<<,>>>} procedure as syntax