Capability types conceptually contributed by this module and its integration. Concrete values are still read from the compiled runtime.
Set<Type> get provides;