Fix type error in GrayBitStringToDoubleVectorDecoder so it compiles.
Change the names of a couple properties.