Merge tag 'negation' into develop

Add unary negation and ? support on predicates
Reorganise specs; Implement short-circuit boolean evaluation
Bump version
Merge branch 'release/short_circuit'