Add test case for inter-module type/data family instances

These should show up in every place where the class is visible, and
indeed they do right now.