Revise implementation of mutations based on a new specification and validation logic

[sklarman]

We should ideally revise the logic and definition of mutation types one more time based on this new proposal: https://github.com/epistemik-co/staple-api-docs/tree/master/mutations

But please first read carefully and comment if this doesn't add up :)