Verificação de tipagem de expressão com HUnit/hspec
