Tipo com valores finitos indexados por naturais
