Implement the `explain` function

The `explain` function should indicate the reason why a data would not match a model.

As Minimallist is less and less experimental, used by Vrac on large models, this function really start to become important.