Additional mutation operators

[palmskog]

This is the designated place to suggest and discuss additional mutation operators.

Catalin Hritcu has already suggested a mutation operator based on removing constructors of inductive types.