Updated SK calculus implementation.