I want to implement the addition operation in a fully homomorphic scheme - TFHE. It contains homomorphic operations on bits: AND, OR, NOT, XOR. Found addition algorithms include left and right shift. But the library used does not provide this operation. How can I implement an arithmetic / logical shift using AND, OR, NOT, XOR? Or are there other addition algorithms that require only represented bit operations?