llvm: Correctly handle pointer subtraction
llvm: Correctly do casting of unsigned values
semantic: Extend bools to ints on arithmetics