Scoped Types

Scoped Types is a package to facilitate distinguishing instances of the same type in DI by decorating them with "scope" types. See the unit tests for example use.