Function Not 

pub fn Not<a: Term>(a: Value<a>) -> Value<Not<a>>
where
    a::Type: Not + ConstOps,