Adicionados casos para Empty e Listas em tipo_to_string. Arrumada a semântica de listas