Changing Bitc object structure to a bit-vector or vector

[mariari]

Currently the BITC category uses a list to represents objects and transformations. This is bad, because it is more naturally expressed as a bit-vector.

Here are a few sample documentation for bit-vectors

https://novaspec.org/cl/f_bit-and

https://novaspec.org/cl/t_bit-vector

Further as #101 gets considered, we may want to move it to a general vector instead of just a bit one. Either way it's a better format for this code

[mariari]

The interpreter does this, however the backend compiler to vampir does not sadly