Apenas algumas idéias iniciais e o stub da implementação do teste de tipos.
Merge branch 'master' of https://github.com/lsponzoni/Semantic