Fixed 'returning skolem' bug.

Now the following example is properly caught

>> :t (E x) -> x
returning skolem