automatically assume 32-bit bitvectors, introduce bitvecs
accept constants up to 64 bits instead of 32 bits
add support for boolean and, or, xor