Removed requirement that all subterms of a generic must be instantiated.