Add comment about how to implement + using XOR, AND and 2*.
Introduce new metacompiling word POSTCODE and use it in the kernel.