Use symbolic logic for property based conjectures

[Nico Van Cleemput]

At the moment we use the same object for normal conjecture and property based conjectures. However the underlying expression don't really support logical operators. Better would be to switch to specific symbolic expression. Cf., http://www.sagemath.org/pdf/en/reference/logic/logic.pdf