types for combinatory logic