definiicoes de tipos