Introduce a type synonym and check for DOWN signals in infoCall