pub fn builtin_equals(a: Val, b: Val) -> Result<bool>