Add Functions of higher order to be able to make proofs over them e.g. proof over fold. (useful for Proofs relating functional programming)