a kind of expression that knows how to mutate randomly