ThermostatController Refactoring Kata

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