Show: point to original module for types with manifest and declaration.