Began on an implementation of Decompressor. Not all invariants and loop invariants are done.
Changed the value of decomp_max_waiting to a valid value.
Implemented the decomp_read_byte operation.
Implemented the decomp_ready operation.
Changed the usage of the decomp_output_buffer variable and the decomp_put_atom operation.
The code generation tool did not seem to like constant sets. Replaced every occurrence of BYTE with the explicit set 0..255.