Changing the BufferedIncrementalDecoder interface to be a bit less efficient but more flexible
UTF-16 codecs done, weeee