Added proofs for combinators, only missing foldGen