Better Container type safety

[squirly]

Currently Container is genericised on a union of the types that the Container can resolve, this is the same generic that is provided to the Binding. If it is instead genericised on the Binding, or the internal unique symbol of the binding, Container construction can have an additional layer of you typesafety.

This same principle can be applied to Module construction.

This may cause a breaking change. Though the in code surface area is limited, because it only affects Module and Container creation.