Implementada a construção de tipos