testing ALU OK, after correcting the incompatible structures error
considerable test cases added to the ALU
ALU has two lists and inputs, not a list of pairs
tests