Function prop::quality::sesh_to_neq

pub fn sesh_to_neq<A: Prop, B: Prop>(
    sesh: Not<Q<A, B>>, 
    eqq_ab: EqQ<A, B>
) -> Not<Eq<A, B>>

Convert inquality to inequality ¬(a ~~ b) ⋀ eqq(a, b) => ¬(a == b).