Mon Dec 5 20:50:43 EST 2011

Occurs check

So why does it do that?  Why is there a good interpretation if the
automatic interpretation finds something that can't unify?

I'd say it would give an error that is an indication of a lack of
information, but not of some information that leads to a false
outcome..  How should I see this?