42 -> 42
42487354877264535 -> 42487354877264535
((λr.r)42) -> 42
(33 44) -> number as function
((λi.i42)(λr.r)) -> 42
((((λij.j))13)17) -> 17
((((λij.i))13)17) -> 13
((λi.(λj.i))13 17) -> 13
((λt.(λj.t))13) -> can't print function.
((λtj.t)13) -> can't print function.

((λtij.t) 13 17 24) -> 13
((λtij.i) 13 17 24) -> 17
((λtij.j) 13 17 24) -> 24

; test code here
13 )17)24) ; values
; above yields 24

((H 8) 9) -> 9
((K 8) 9) -> 8
(K 8 9) -> 8
(i 41) -> 42
(d 1000) -> 999
((z 5) 1 2) -> 2