minimalistic Turing-complete programming languages based on combinatory logic