Improves type information.

Adds ReifiedCollection and refactors type definitions.