Constant KIND 

pub const KIND: &str = "lean-ctx.org-policy";