Add rule to verify Providers

[ajafff]

• ValueProvider: value must be assignable to provide
• ClassProvider: useClass must be a Class whose instance type is assignable to provide
• FactoryProvider: deps needs to match parameters of useFactory, useFactory's return type must be assignable to provide
• ExistingProvider: useExisting must be assignable to provide
• ConstructorProvider: deps needs to match parameters of provide's construct signature

Needs to take multi into account.

Requires type relationship APIs