The set of tools for our researches with combinatory logic.