Tipos de dados Fixpoint
