Extract Iota code from SKI calculus classes