Function not 

pub fn not(
    v: &RuntimeValue,
    recurse: &dyn Fn(RuntimeValue) -> Result<RuntimeValue, String>,
) -> Option<Result<RuntimeValue, String>>

not lifted over residue branches and through provisional values; None for any other value.