introduce enum class BinaryInputState and refactor code to use it

Makes variable declarations, contants and type conversions explicit. Converts whole range of logical errors into compile time errors.

Bugs discovered by this work: 72428b3f 02c90848

#15173