Boolean negation function

[uncomputable]

Simfony should have a function to negate values of type bool. The current way is via casting, which is efficient but verbose to write.

let bit: bool = false;
let int: u1 = <u1>::into(jet::complement_1(<bool>::into(bit)));