Bit-vector sum.
;; Compute the sum of X and Y, chopped down to SIZE bits. (defund bvplus (size x y) (declare (type (integer 0 *) size)) (bvchop size (+ (ifix x) (ifix y))))
