Encoding of various fundamental combinators in various languages