Function prop::and::in_left

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

Makes it easier to traverse.