Problemas com Tail no sistema de tipos foram arrumados. Subtipagem implementada (para Empty)