How CUE schemas eliminate type assertion boilerplate when handling multiple IoT sensor types in a home automation system