Experimentation on the rover domain with types