Put some more types in the test file
Starting idea of the visitor