switched to gathering constants.  appears to be speed loss over bitvectors
nate's new axioms