Describir: Hybrid Macroprogramming Wireless Networks of Embedded Systems with Declarative Naming