Cache results of the shift. Also add test for checking if implementation can work when result is one of the arguments.
Set suitable backend for GF127 arithmetic for Concat(), Sum() etc.