Combinatory recursive objects of all finite types