DSLs for Safe iOS/WatchOS Communication