Add symbols mentioned implicitly by wildcard patterns, close #71