An interpreter for the SKI combinator calculus