remove carry-look ahead adder
fix handling result of abstract evaluation
fix overflow handling for binary addition (issue #105)