Do ping when service is imported

It will check following assertions **eagerly**, so that it can fail quickly, not when there is an actual call later.
- The given `HandleToExchange` is valid
- The traits from both sides are compatible (depends on #77 )

Empieza rastreando dónde se importa el servicio y dónde se comprueba o utiliza actualmente HandleToExchange. Revisa el issue #77 por la dependencia de compatibilidad de traits; se considera terminado cuando tanto las aserciones de validez del handle como las de compatibilidad de traits entre ambos lados se ejecutan eagermente y fallan antes de una llamada posterior.

Escrito por el modelo de indexación a partir del texto del issue.