Enviar por SMS: A higher-order calculus for graph transformation