Added syntax declarations to make the properties more readable
Removed intermediate tag constructors
Report the property that failed/succeeded instead of proof object

  TODO
    It should be printed only in some cases
Added not constructor
Added constructor Exists!
Added few examples with Exists!