Implemented 'bits_to_bytes'

Conversion between byte- and bit-I/O is done using binary lambda
calculus.