Makes 'types' testable.

Moving the code that determines dependencies and members of Groups and Packages
to the resolver enables testing of those classes.
Prefixes test modules with 'test_'.

This eases test discovery and prevents any clashes with standard library names.
Adds test for 'Unit'.