ThermostatProperties: z.infer<typeof thermostat>