Initial attempt at SKI calculus