Function prop::and::in_right

pub fn in_right<A: Prop, B: Prop, C: Prop, F>(
    (x, y): And<A, B>,
    f: F
) -> And<A, C>where
    F: Fn(B) -> C,

Makes it easier to traverse.