Automatically generated type definitions for the WebThings gateway addon IPC protocol