Most general Unifier with Martelli/Montanari algorithm example

Hope this kind of tough example helps some of you get the hang of this algorithm :)