Show operands when an unification fails, so it is much easier to interpret

* The only information which can be given to fail() is debug info
* It defaults to init, as before