Support for constructors in XSB

[Bart Bogaerts]

This is missing. Crucial in some applications, such as the attached file.

A dirty hack to force the "correct" ordering has been implemented. However, XSB natively supports statements such as

p(X) :- q(f(X))

with f a constructor. These should NEVER be unnested!