Now, Position type has no coupling with the Plateau type anymore.
Refactors the Rover and Plateau types.

Adds more tests related to the Plateau and its various CrossGuard checks.