Evaluating expressions of the combinator calculus