More integration tests for supertypes, including nested classes.