Implement location operator

[LouisRanjard]

Must propose new locations for internal nodes while being compatible with the model (the location of a splitting branch must be identical to at least one its two daughter node locations).