Família Severino, Martins, Pinto e Correia Pinto