A doutrina dominante define tipicidade como