[Lazy] pull through quantifications

[Broes De Cat]

For lazy grounding, a transformation which pulls literals as high as possible would be useful.

E.g. !x y: P(x) & P(y) => x=y. could be transformed to !x: P(x) => (!y: P(y) => x=y).

[Bart Bogaerts]

see #106 ... Does this work for you?

→ 82b3a9faddc3

[Bart Bogaerts]

see #106, seems like i forgot to add some files in my previous commit

→ 734f853db669

[Broes De Cat]

Removing milestone: Later (automated comment)