Specialize derive transformation when the structure is known

[Broes De Cat]

Both for deriveTermBounds and for deriveSorts, the derivations are much closer to what is really intended by the user if we would, in all relevant cases, take the structure and the truth value of the sentence (intended inference) into account whenever applicable.

[Bart Bogaerts]

see also old issue #16

[Broes De Cat]

Removing milestone: Later (automated comment)