Added right shifts and a large todo list.

Everything necessary to have a finalized code generator is present in the todo
list. This includes forward jumps, constant assignment, non-determinism and
backtracking, variable shuffling and conditional branches.