Weighted neighbourhood selection

[maartenflippo]

Neighbourhoods in the neighbourhood combinator are selected based on a weighted probability by the number of variables they cover.