Reorganize sym.rs into bit.rs and vec.rs

[mnemonikr]

This change moves SymbolicBit implementation details into its own bit module, and renames the remaining sym module into vec since it is now strictly home to SymbolicBitVec.