Generate fresh identifier for implicit argument, fix moregeneral / inclusion checking