pub type PAndFst<A, B, C, D> = Imply<And<Q<And<A, B>, C>, Imply<C, D>>, Q<A, D>>;
Sends first argument of Logical AND to higher level.
