Using Manifest type declarations to resolve dependent types.
More unit tests.