Types and modularity for implicit invocation with implicit announcement

Types and modularity for implicit invocation with implicit announcement