Tipagem e começo do sistema de valores, com testes.