Add boolean arithmetic, comparisons, labels and branches

Pairprogrammed by Moritz Maxeiner and Jens Fischer.