contrafact
pub fn eq<S, T, B>(context: S, constant: B) -> EqFact<T, B> where S: ToString, T: Debug + PartialEq, B: Borrow<T>,
Specifies an equality constraint