reported and explained the description of the ALU under ForSyDe, more expansion on the TODOs for Coquet