Function mk_relation_method 

pub fn mk_relation_method(class: &str) -> Expr

Build a binary relation method type: {α : Type} → [Class α] → α → α → Prop