Control structures using church encoding