Interpreter for SKI expressions