added concatenate and extract on bitvectors