Bit vector codec, conditional codec, fixed bug in HList codec