ThermostatController Refactoring Kata The abstraction "HVAC" is perhaps not the best. Can you refactor it to a better abstraction?