Simplify:

* Implement input_int16 as a generic way to input a 16 bit big-endian integer.
* While here, use `Byte.bytesToString` for conversion of Byte vectors into strings.