Better HList integration (renamed :~: to ::, added :+ and :::), BitVector#toByteArray